English microcoding: translation to other languages